Skip to content

Bump org.scala-lang:scala-library from 2.13.17 to 2.13.18#616

Merged
MancunianSam merged 1 commit into
dependabot/maven/org.apache.maven.plugins-maven-source-plugin-3.4.0from
dependabot/maven/org.scala-lang-scala-library-2.13.18
Dec 4, 2025
Merged

Bump org.scala-lang:scala-library from 2.13.17 to 2.13.18#616
MancunianSam merged 1 commit into
dependabot/maven/org.apache.maven.plugins-maven-source-plugin-3.4.0from
dependabot/maven/org.scala-lang-scala-library-2.13.18

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Nov 24, 2025

Copy link
Copy Markdown
Contributor

Bumps org.scala-lang:scala-library from 2.13.17 to 2.13.18.

Release notes

Sourced from org.scala-lang:scala-library's releases.

[WIP] Scala 2.13.18

Work in progress: this release is not yet announced. See https://contributors.scala-lang.org/t/scala-2-13-18-release-planning/7271/4.

Commits
  • 98f40d0 Merge pull request #11180 from SethTisue/scala-3.7.4
  • f47ee18 Merge pull request #11181 from lrytz/t13141
  • 960905c Don't type check synthetic args in presence of errors
  • 5c28ce5 Scala 3.7.4 (was 3.7.3)
  • ae6ae4d Merge pull request #11179 from lrytz/merge-212
  • e828c8f Merge commit '597789e91a' into merge-212
  • c099bae Merge commit '01ad07aaf2' into merge-212
  • ef7bf42 Merge commit '516ea3283f' into merge-212
  • 786153f Merge commit '42b335a55f' into merge-212
  • 597789e Merge pull request #11178 from dragos/dragos/backport-base-type-crash-fix
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [org.scala-lang:scala-library](https://github.com/scala/scala) from 2.13.17 to 2.13.18.
- [Release notes](https://github.com/scala/scala/releases)
- [Commits](scala/scala@v2.13.17...v2.13.18)

---
updated-dependencies:
- dependency-name: org.scala-lang:scala-library
  dependency-version: 2.13.18
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Nov 24, 2025
@MancunianSam
MancunianSam changed the base branch from master to dependabot/maven/org.apache.maven.plugins-maven-source-plugin-3.4.0 December 4, 2025 11:51
@MancunianSam
MancunianSam merged commit cd0030a into dependabot/maven/org.apache.maven.plugins-maven-source-plugin-3.4.0 Dec 4, 2025
9 of 10 checks passed
@MancunianSam
MancunianSam deleted the dependabot/maven/org.scala-lang-scala-library-2.13.18 branch December 4, 2025 11:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file java Pull requests that update java code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant